            Value res;
            Value _t4;
            {
                Applicable _t5;
                _t5 = function;
                _t4 = (Applicable)_t5;
            }
            {
                Value _t6;
		_t6 = new Int(3);
		res = _t4.apply1(_t6)
	    }
  

